<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><link rel="stylesheet" type="text/css" href="style.css" /><script type="text/javascript" src="highlight.js"></script></head><body><pre><span class="hs-comment">{- | The public face of Template Haskell

For other documentation, refer to:
&lt;http://www.haskell.org/haskellwiki/Template_Haskell&gt;

-}</span><span>
</span><span id="line-7"></span><span class="hs-pragma">{-# LANGUAGE Safe #-}</span><span>
</span><span id="line-8"></span><span class="hs-keyword">module</span><span> </span><span class="hs-identifier">Language.Haskell.TH</span><span class="hs-special">(</span><span>
</span><span id="line-9"></span><span>        </span><span class="annot"><span class="hs-comment">-- * The monad and its operations</span></span><span>
</span><span id="line-10"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Q"><span class="hs-identifier">Q</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-11"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#runQ"><span class="hs-identifier">runQ</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-12"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Quote"><span class="hs-identifier">Quote</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-13"></span><span>        </span><span class="annot"><span class="hs-comment">-- ** Administration: errors, locations and IO</span></span><span>
</span><span id="line-14"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reportError"><span class="hs-identifier">reportError</span></a></span><span class="hs-special">,</span><span>              </span><span class="hs-comment">-- :: String -&gt; Q ()</span><span>
</span><span id="line-15"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reportWarning"><span class="hs-identifier">reportWarning</span></a></span><span class="hs-special">,</span><span>            </span><span class="hs-comment">-- :: String -&gt; Q ()</span><span>
</span><span id="line-16"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#report"><span class="hs-identifier">report</span></a></span><span class="hs-special">,</span><span>                   </span><span class="hs-comment">-- :: Bool -&gt; String -&gt; Q ()</span><span>
</span><span id="line-17"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#recover"><span class="hs-identifier">recover</span></a></span><span class="hs-special">,</span><span>          </span><span class="hs-comment">-- :: Q a -&gt; Q a -&gt; Q a</span><span>
</span><span id="line-18"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#location"><span class="hs-identifier">location</span></a></span><span class="hs-special">,</span><span>         </span><span class="hs-comment">-- :: Q Loc</span><span>
</span><span id="line-19"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Loc"><span class="hs-identifier">Loc</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-20"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#runIO"><span class="hs-identifier">runIO</span></a></span><span class="hs-special">,</span><span>            </span><span class="hs-comment">-- :: IO a -&gt; Q a</span><span>
</span><span id="line-21"></span><span>        </span><span class="annot"><span class="hs-comment">-- ** Querying the compiler</span></span><span>
</span><span id="line-22"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Reify</span></span><span>
</span><span id="line-23"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reify"><span class="hs-identifier">reify</span></a></span><span class="hs-special">,</span><span>            </span><span class="hs-comment">-- :: Name -&gt; Q Info</span><span>
</span><span id="line-24"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyModule"><span class="hs-identifier">reifyModule</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-25"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Info"><span class="hs-identifier">Info</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#ModuleInfo"><span class="hs-identifier">ModuleInfo</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-26"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#InstanceDec"><span class="hs-identifier">InstanceDec</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-27"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#ParentName"><span class="hs-identifier">ParentName</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-28"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#SumAlt"><span class="hs-identifier">SumAlt</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#SumArity"><span class="hs-identifier">SumArity</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-29"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Arity"><span class="hs-identifier">Arity</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-30"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Unlifted"><span class="hs-identifier">Unlifted</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-31"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Language extension lookup</span></span><span>
</span><span id="line-32"></span><span>        </span><span class="annot"><a href="../../ghc-boot-th/src/GHC.LanguageExtensions.Type.html#Extension"><span class="hs-identifier">Extension</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-33"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#extsEnabled"><span class="hs-identifier">extsEnabled</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#isExtEnabled"><span class="hs-identifier">isExtEnabled</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-34"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Name lookup</span></span><span>
</span><span id="line-35"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#lookupTypeName"><span class="hs-identifier">lookupTypeName</span></a></span><span class="hs-special">,</span><span>  </span><span class="hs-comment">-- :: String -&gt; Q (Maybe Name)</span><span>
</span><span id="line-36"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#lookupValueName"><span class="hs-identifier">lookupValueName</span></a></span><span class="hs-special">,</span><span> </span><span class="hs-comment">-- :: String -&gt; Q (Maybe Name)</span><span>
</span><span id="line-37"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Fixity lookup</span></span><span>
</span><span id="line-38"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyFixity"><span class="hs-identifier">reifyFixity</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-39"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Type lookup</span></span><span>
</span><span id="line-40"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyType"><span class="hs-identifier">reifyType</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-41"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Instance lookup</span></span><span>
</span><span id="line-42"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyInstances"><span class="hs-identifier">reifyInstances</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-43"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#isInstance"><span class="hs-identifier">isInstance</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-44"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Roles lookup</span></span><span>
</span><span id="line-45"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyRoles"><span class="hs-identifier">reifyRoles</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-46"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Annotation lookup</span></span><span>
</span><span id="line-47"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyAnnotations"><span class="hs-identifier">reifyAnnotations</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#AnnLookup"><span class="hs-identifier">AnnLookup</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-48"></span><span>        </span><span class="annot"><span class="hs-comment">-- *** Constructor strictness lookup</span></span><span>
</span><span id="line-49"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#reifyConStrictness"><span class="hs-identifier">reifyConStrictness</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-50"></span><span>
</span><span id="line-51"></span><span>        </span><span class="annot"><span class="hs-comment">-- * Typed expressions</span></span><span>
</span><span id="line-52"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#TExp"><span class="hs-identifier">TExp</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unType"><span class="hs-identifier">unType</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-53"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Code"><span class="hs-identifier">Code</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unTypeCode"><span class="hs-identifier">unTypeCode</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unsafeCodeCoerce"><span class="hs-identifier">unsafeCodeCoerce</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#hoistCode"><span class="hs-identifier">hoistCode</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#bindCode"><span class="hs-identifier">bindCode</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-54"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#bindCode_"><span class="hs-identifier">bindCode_</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#joinCode"><span class="hs-identifier">joinCode</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#liftCode"><span class="hs-identifier">liftCode</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-55"></span><span>
</span><span id="line-56"></span><span>        </span><span class="annot"><span class="hs-comment">-- * Names</span></span><span>
</span><span id="line-57"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Name"><span class="hs-identifier">Name</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#NameSpace"><span class="hs-identifier">NameSpace</span></a></span><span class="hs-special">,</span><span>        </span><span class="hs-comment">-- Abstract</span><span>
</span><span id="line-58"></span><span>        </span><span class="annot"><span class="hs-comment">-- ** Constructing names</span></span><span>
</span><span id="line-59"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#mkName"><span class="hs-identifier">mkName</span></a></span><span class="hs-special">,</span><span>         </span><span class="hs-comment">-- :: String -&gt; Name</span><span>
</span><span id="line-60"></span><span>        </span><span class="annot"><span class="hs-comment">-- ** Deconstructing names</span></span><span>
</span><span id="line-61"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#nameBase"><span class="hs-identifier">nameBase</span></a></span><span class="hs-special">,</span><span>       </span><span class="hs-comment">-- :: Name -&gt; String</span><span>
</span><span id="line-62"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#nameModule"><span class="hs-identifier">nameModule</span></a></span><span class="hs-special">,</span><span>     </span><span class="hs-comment">-- :: Name -&gt; Maybe String</span><span>
</span><span id="line-63"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#namePackage"><span class="hs-identifier">namePackage</span></a></span><span class="hs-special">,</span><span>    </span><span class="hs-comment">-- :: Name -&gt; Maybe String</span><span>
</span><span id="line-64"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#nameSpace"><span class="hs-identifier">nameSpace</span></a></span><span class="hs-special">,</span><span>      </span><span class="hs-comment">-- :: Name -&gt; Maybe NameSpace</span><span>
</span><span id="line-65"></span><span>        </span><span class="annot"><span class="hs-comment">-- ** Built-in names</span></span><span>
</span><span id="line-66"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#tupleTypeName"><span class="hs-identifier">tupleTypeName</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#tupleDataName"><span class="hs-identifier">tupleDataName</span></a></span><span class="hs-special">,</span><span>   </span><span class="hs-comment">-- Int -&gt; Name</span><span>
</span><span id="line-67"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unboxedTupleTypeName"><span class="hs-identifier">unboxedTupleTypeName</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unboxedTupleDataName"><span class="hs-identifier">unboxedTupleDataName</span></a></span><span class="hs-special">,</span><span> </span><span class="hs-comment">-- :: Int -&gt; Name</span><span>
</span><span id="line-68"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unboxedSumTypeName"><span class="hs-identifier">unboxedSumTypeName</span></a></span><span class="hs-special">,</span><span> </span><span class="hs-comment">-- :: SumArity -&gt; Name</span><span>
</span><span id="line-69"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#unboxedSumDataName"><span class="hs-identifier">unboxedSumDataName</span></a></span><span class="hs-special">,</span><span> </span><span class="hs-comment">-- :: SumAlt -&gt; SumArity -&gt; Name</span><span>
</span><span id="line-70"></span><span>
</span><span id="line-71"></span><span>    </span><span class="annot"><span class="hs-comment">-- * The algebraic data types</span></span><span>
</span><span id="line-72"></span><span>    </span><span class="hs-comment">-- | The lowercase versions (/syntax operators/) of these constructors are</span><span>
</span><span id="line-73"></span><span>    </span><span class="hs-comment">-- preferred to these constructors, since they compose better with</span><span>
</span><span id="line-74"></span><span>    </span><span class="hs-comment">-- quotations (@[| |]@) and splices (@$( ... )@)</span><span>
</span><span id="line-75"></span><span>
</span><span id="line-76"></span><span>    </span><span class="annot"><span class="hs-comment">-- ** Declarations</span></span><span>
</span><span id="line-77"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Dec"><span class="hs-identifier">Dec</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Con"><span class="hs-identifier">Con</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Clause"><span class="hs-identifier">Clause</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-78"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#SourceUnpackedness"><span class="hs-identifier">SourceUnpackedness</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#SourceStrictness"><span class="hs-identifier">SourceStrictness</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#DecidedStrictness"><span class="hs-identifier">DecidedStrictness</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-79"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Bang"><span class="hs-identifier">Bang</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Strict"><span class="hs-identifier">Strict</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Foreign"><span class="hs-identifier">Foreign</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Callconv"><span class="hs-identifier">Callconv</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Safety"><span class="hs-identifier">Safety</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Pragma"><span class="hs-identifier">Pragma</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-80"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Inline"><span class="hs-identifier">Inline</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#RuleMatch"><span class="hs-identifier">RuleMatch</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Phases"><span class="hs-identifier">Phases</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#RuleBndr"><span class="hs-identifier">RuleBndr</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#AnnTarget"><span class="hs-identifier">AnnTarget</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-81"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#FunDep"><span class="hs-identifier">FunDep</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#TySynEqn"><span class="hs-identifier">TySynEqn</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#TypeFamilyHead"><span class="hs-identifier">TypeFamilyHead</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-82"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Fixity"><span class="hs-identifier">Fixity</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#FixityDirection"><span class="hs-identifier">FixityDirection</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#defaultFixity"><span class="hs-identifier">defaultFixity</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#maxPrecedence"><span class="hs-identifier">maxPrecedence</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-83"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#PatSynDir"><span class="hs-identifier">PatSynDir</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#PatSynArgs"><span class="hs-identifier">PatSynArgs</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-84"></span><span>    </span><span class="annot"><span class="hs-comment">-- ** Expressions</span></span><span>
</span><span id="line-85"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Exp"><span class="hs-identifier">Exp</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Match"><span class="hs-identifier">Match</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Body"><span class="hs-identifier">Body</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Guard"><span class="hs-identifier">Guard</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Stmt"><span class="hs-identifier">Stmt</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Range"><span class="hs-identifier">Range</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Lit"><span class="hs-identifier">Lit</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-86"></span><span>    </span><span class="annot"><span class="hs-comment">-- ** Patterns</span></span><span>
</span><span id="line-87"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Pat"><span class="hs-identifier">Pat</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#FieldExp"><span class="hs-identifier">FieldExp</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#FieldPat"><span class="hs-identifier">FieldPat</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-88"></span><span>    </span><span class="annot"><span class="hs-comment">-- ** Types</span></span><span>
</span><span id="line-89"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Type"><span class="hs-identifier">Type</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#TyVarBndr"><span class="hs-identifier">TyVarBndr</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#TyLit"><span class="hs-identifier">TyLit</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Kind"><span class="hs-identifier">Kind</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Cxt"><span class="hs-identifier">Cxt</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Pred"><span class="hs-identifier">Pred</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Role"><span class="hs-identifier">Syntax.Role</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-90"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#Specificity"><span class="hs-identifier">Syntax.Specificity</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span>
</span><span id="line-91"></span><span>        </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#FamilyResultSig"><span class="hs-identifier">FamilyResultSig</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#InjectivityAnn"><span class="hs-identifier">Syntax.InjectivityAnn</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#PatSynType"><span class="hs-identifier">PatSynType</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#BangType"><span class="hs-identifier">BangType</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html#VarBangType"><span class="hs-identifier">VarBangType</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-92"></span><span>
</span><span id="line-93"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Library functions</span></span><span>
</span><span id="line-94"></span><span>    </span><span class="hs-keyword">module</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Lib.html"><span class="hs-identifier">Language.Haskell.TH.Lib</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-95"></span><span>
</span><span id="line-96"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Pretty-printer</span></span><span>
</span><span id="line-97"></span><span>    </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html#Ppr"><span class="hs-identifier">Ppr</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html#pprint"><span class="hs-identifier">pprint</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html#pprExp"><span class="hs-identifier">pprExp</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html#pprLit"><span class="hs-identifier">pprLit</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html#pprPat"><span class="hs-identifier">pprPat</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html#pprParendType"><span class="hs-identifier">pprParendType</span></a></span><span>
</span><span id="line-98"></span><span>
</span><span id="line-99"></span><span>   </span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-100"></span><span>
</span><span id="line-101"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Syntax.html"><span class="hs-identifier">Language.Haskell.TH.Syntax</span></a></span><span> </span><span class="hs-keyword">as</span><span> </span><span class="annot"><span class="hs-identifier">Syntax</span></span><span>
</span><span id="line-102"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Lib.html"><span class="hs-identifier">Language.Haskell.TH.Lib</span></a></span><span>
</span><span id="line-103"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Language.Haskell.TH.Ppr.html"><span class="hs-identifier">Language.Haskell.TH.Ppr</span></a></span><span>
</span><span id="line-104"></span></pre></body></html>